30041. Vehicle Scheduling in Port Automation: Advanced Algorithms for Minimum Cost Flow Problems, Second Edition
المؤلف: / Rashidi, Hassan
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
30042. Vehicle Systems-Smart Mobile In
المؤلف: / Gerhard Schmidt, Huseyin Abut, Kazuya Takeda, John H.L. Hansen
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: CONTROL SYSTEMS|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY& ENGINEERING (uncategorised)|AUTOMATION &COMPUTER SCIENCE
رده :
E-BOOK
30043. Verbraucherschutz bei Vertragsschluss im Internet : Ein Vergleich zwischen englischem und deutschem Recht
المؤلف: / Wagner, Sandra Vivian
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ELECTRONIC& ENGINEERING (uncategorised)|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE
رده :
E-BOOK
30044. Vererbung für Systementwickler :
المؤلف: Jürgen Kunz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Object-oriented databases.,Object-oriented programming (Computer science)
30045. Verfahren zur Metallartefaktreduktion und Segmentierung in der medizinischen Computertomographie.
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electronic computers. Computer science.
30046. Verification:
المؤلف: edited by Nachum Dershowitz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2004
30047. Verification, Induction, Termination Analysis
المؤلف: / Simon Siegler, Nathan Wasser
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
30048. Verification, Model Checking, and Abstract Interpretation
المؤلف: / Barbara Jobstmann, K. Rustan M. Leino
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
30049. Verification, Model Checking, and Abstract Interpretation :
المؤلف: edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2013
30050. Verification, Model Checking, and Abstract Interpretation
المؤلف: / Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
30051. Verification, Model Checking, and Abstract Interpretation
المؤلف: / Kenneth L. McMillan, Xavier Rival
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
30052. Verification, Model Checking, and Abstract Interpretation
المؤلف: / Souza, Akash Lal, Kim Guldstrand LarsenبDeepak D
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
30053. Verification, Model Checking, and Abstract Interpretation
المؤلف: / Gilles Barthe, Manuel Hermenegildo
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
30054. Verification, Model Checking, and Abstract Interpretation
المؤلف: / Ranjit Jhala, David Schmidt
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
30055. Verification, Model Checking, and Abstract Interpretation
المؤلف: / Viktor Kuncak, Andrey Rybalchenko
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
30056. Verification and Validation of Real-Time Software
المؤلف: edited by William J. Quirk.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Software engineering.
رده :
QA76
.
54
E358
1985
30057. Verification and validation for quality of UML 2.0 models
المؤلف: / Bhuvan Unhelkar
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Computer software- Verification,Computer software- Quality control,UML (Computer science)
رده :
QA76
.
76
.
V47
,
U53
2005
30058. Verification and validation for quality of UML 2.0 models
المؤلف: Unhelkar, Bhuvan.
المکتبة: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: Verification ، Computer software,Quality control ، Computer software,، UML )Computer science(
رده :
QA
76
.
76
.
V47
U53
30059. Verification and validation for quality of UML 2.0 models
المؤلف: Unhelkar, Bhuvan
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: Verification ، Computer software,Quality control ، Computer software,، UML )Computer science(
رده :
QA
76
.
76
.
V47U53
2005
30060. Verification and validation for quality of UML 2.0 models [electronic resource]
المؤلف: / Bhuvan Unhelkar
المکتبة: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع: Computer software--Verification,Computer software--Quality control,UML (Computer science)
رده :
EB
,
QA76
.
76
.
V47U53
2005
